function logout() {
    $.ajax({
        type: "get",
        url: "/user/logout",
        success: function() {
            location.href = "login.html";
        }
    });
}
